Aristotelian Diagrams for the Proportional Quantifier ‘Most’

In this paper, we study the interaction between square of opposition for Aristotelian quantifiers (‘all’, ‘some’, ‘no’, and ‘not all’) generated by proportional quantifier ‘most’ (in its standard generalized theory reading ‘more than half’). a first step, provide an analysis in terms bitstring semantics two squares independently. The classical involves tripartition logical space, whereas degenerate ‘all’ first-order logic (FOL) quadripartition, due to FOL’s lack existential import. second move, combine these into octagon opposition, which was hitherto unattested geometry, while meet original tri- quadripartitions yields hexapartition octagon. final switch from FOL system, does assume This well known Lenzen type, is reduced pentapartition.